Supplementary material to “ Accelerating Correctly Rounded Floating - Point Division When the Divisor is Known in Advance ”
نویسندگان
چکیده
• If m > n, the exact quotient of two n-bit numbers cannot be an m-bit number. • Let x, y ∈ Mn. x = y ⇒ |x/y − 1| ≥ 2−n. We call a breakpoint a value z where the rounding changes, that is, if t1 and t2 are real numbers satisfying t1 < z < t2 and ◦t is the rounding mode, then ◦t(t1) < ◦t(t2). For “directed” rounding modes (i.e., towards +∞, −∞ or 0), the breakpoints are the FP numbers. For rounding to the nearest mode, they are the exact middle of two consecutive FP numbers. For a ∈ Mn, we define a as its successor in Mn, that is, a = min{b ∈ Mn, b > a}, and a− as the predecessor of a, that is, a− = max{b ∈ Mn, b < a}. The next result gives a lower bound on the distance between a breakpoint (in roundto-nearest mode) and the quotient of two FP numbers.
منابع مشابه
Emulation of FMA and correctly-rounded sums: proved algorithms using rounding to odd
Rounding to odd is a non-standard rounding on floating-point numbers. By using it for some intermediate values instead of rounding to nearest, correctly rounded results can be obtained at the end of computations. We present an algorithm for emulating the fused multiply-and-add operator. We also present an iterative algorithm for computing the correctly rounded sum of a set floating-point number...
متن کاملPrinting Floating - Point
This paper presents a fast and accurate algorithm for printing oating-point numbers in both free-and xed-format modes. In free-format mode, the algorithm generates the shortest, correctly rounded output string that converts to the same number when read back in, accommodating whatever rounding mode the reader uses. In xed-format mode, the algorithm generates a correctly rounded output string usi...
متن کاملWhen double rounding is odd
Many general purpose processors (including Intel’s) may not always produce the correctly rounded result of a floating-point operation due to double rounding. Instead of rounding the value to the working precision, the value is first rounded in an intermediate extended precision and then rounded in the working precision; this often means a loss of accuracy. We suggest the use of rounding to odd ...
متن کاملTowards Correctly Rounded Transcendentals
The Table Maker’s Dilemma is the problem of always getting correctly rounded results when computing the elementary functions. After a brief presentation of this problem, we present new developments that have helped us to solve this problem for the double-precision exponential function in a small domain. These new results show that this problem can be solved, at least for the double-precision fo...
متن کاملCombined IEEE Compliant and Truncated Floating Point Multipliers for Reduced Power Dissipation
Truncated multiplication can be used to significantly reduce power dissipation for applications that do not require correctly rounded results. This paper presents a power efficient method for designing floating point multipliers that can perform either correctly rounded IEEE compliant multiplication or truncated multiplication, based on an input control signal. Compared to conventional IEEE flo...
متن کامل